/*
 * Extra functions for the menubar system.
 */

// A function for cleanly resetting the menu.
function clearMenu() {
	resetButton(activeButton);
	activeButton = null;
}

